計算に誤りはない。ただ、全てのpで成立するという式から、この問題に
解がないことを是とするかどうかだ。