>>534
x^n+y^n=z^nを満たす正整数x,y,zが存在するときに以下が成立する。
x≡0 (mod a)∧y≡0 (mod a)⇒z≡0 (mod a)