>>442
何で①を満たす整数を全て求めなくてもいいの？
成り立つと仮定するなら②もこうあるはずだってことで
その前提がなければ変形すらできないこともあるのでは？