Demostración de los tres resultado