ただし、その不動点の求め方については何も言及しない(スペルナーの補題も参照).
スペルナーの補題