17 Demuestre que para cualesquiera enteros positivos $x, y, z$ con $xy-z^2 = 1$ se pueden encontrar enteros no negativos $a, b, c, d$ tales que $x = a^2 + b^2, y = c^2 + d^2, z = ac + bd$ . Tomando $z = (2q)!$ deduzca que para cualquier número primo $p = 4q + 1$ , $p$ puede representarse como suma de cuadrados de dos enteros. Amir