b(a^2×b+a+b)-a(ab^2+b+7)=b^2-7a であり、 a^2×b+a+bがab^2+b+7の倍数であればb^2-7aもab^2+b+7の倍数である。 a>=１なのでb^2-7a<ab^2+b+7</p> b^2-7aが>0,=0,<0で場合わけ 上の議論から>0はなく、...