平方数の証明法が通用しないから反例があるんだろうが面倒そうだな