Question: If x, y, z is a primitive Pythagorean triple, prove that x+y and x-y are congruent modulo 8 to either 1 or 7.