nが2以上であるとき、
ｎを越えない最大の素数ｐが存在する。
ｐは　n! の素因子としてちょうど1回
しか現れないので　n!が平方数になる
ことはない。