Brouwer fixed-point theorem