The equivalent no-retraction theorem says there is no continuous retraction of the closed disk onto its boundary circle. A fixed-point-free map gives a retraction by projecting from through to the boundary; conversely a retraction composed with the antipodal boundary map gives a fixed-point-free self-map.
Solved by gpt-5.6-sol high.
Codex Wiki