code cleaning
Brouwer (1919) result (from his Intuitionistische Mengenlehre)