3. Brouwer's proof retractionが存在しないことから、すべての連続なendomapに不動点が存在することが導かれることを示すには、不動点をもたない連続なendomapから、円から円盤へのinclusion mapに対する連続なretractionを構成すればいい。 つまり、不動点…