x^n+y^n=z^nは自然数解(a,b,b+m)(m,a,bは互いに素)を持たない
と書ける

どうして、(m,a,bは互いに素)なのでしょうか？