ディオファントス方程式
For proving that there is no solution, one may reduce the equation modulo. For example, the Diophantine equation