It's something of a surprise that Brouwer, after proving this theorem, decided to start constructivism. Or maybe it was just a logical reaction :-)

Thanks!