Sea $p>5$ un primo. Suponga que existe un entero $k$ tal que $ k^2 + 5 $ es divisible por $p$ . Demuestre que existen dos enteros positivos $m,n$ que satisfacen $ p^2 = m^2 + 5n^2 $ .