Show that the equation x^2+9y^2−8z^2=7 has no integer solutions x, y, z. Use proof by contradiction. Assume there is a solution and then show that you get a contradiction when you look at the equation mod 4.