Sean \( m \) y \( n \) números naturales, y sea \( p \) un primo tal que \( m < n < p \) , y: \[ p \mid m^2 + 1 \quad \text{and} \quad p \mid n^2 + 1. \] Demuestre que: \[ p \mid mn - 1. \]