Suponga que $ p$ es un número primo. Demuestre que la ecuación $ x^2-py^2=-1$ tiene una solución si y solo si $ p\equiv1\pmod 4$