>71
>{ 3=(2x+1)
{ 5=(y+3)
をしらべても、元の式の他の答えである(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)のことは分からないし
元の式の他の答えが整数になるかどうかも、結局元の式を調べないと分からない

{ 3=(2x+1)
{ 5=(y+3)
をしらべれば、整数解以外の解が、ないので、元の式に、整数解以外の解が、ないことが、わかります。

{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
をしらべても、(3)に他の答えがあるかもしれないのに、他の答えのことは分からない
結局元の式を調べないと分からない

{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
をしらべれば、この式に自然数解がないので、元の式に、自然数解が、ないことが、
わかります。