正八面体を1つの平面で切断するとき
切り口に七角形以上の多角形は生じないことを証明せよ。