不動點定理

斯佩納引理：從三角形著色到存在性證明