show that x² − 2y² = 10 has no integer solutions. (hint: work mod 5.)