非ユークリッド平面、例えば球面とかだと
正八面体の頂点上に置けば仮定を満たすよね。
って事はユークリッド平面にしか無い性質を使うのか。