Supongamos que necesitamos demostrar que la proposición es verdadera