Solution (source code)

= Solution

The <Brouwer fixed-point theorem> for the closed unit disc $\overline D\subset\mathbb R^2$ states that every continuous map
$$
f:\overline D\to\overline D
$$
has a fixed point.