Brouwer's fixed-point theorem