In theory any proof that planar graph epimorphisms are surjective could easily be turned into a proof of the four colour theorem.
確定! 回上一頁