"Demostración: " Tenemos que