まず正多面体が5種類しかないことの証明から始めようか・・・ (´・ω・`)