Sean $ a, b, c$ tres números naturales tales que $ a < b < c$ y $ gcd (c - a, c - b) = 1$ . Suponga que existe un entero $ d$ tal que $ a + d, b + d, c + d$ forman los lados de un triángulo rectángulo. Pruebe que existen enteros, $ l,m$ tales que $ c + d = l^{2} + m^{2} .$