不动点定理

斯佩纳引理：从三角形着色到存在性证明