不動点定理

スペルナーの補題：三角形の色塗りから存在証明へ