Brouwer's theorem