Si esto no es admisible, se sigue que nuestra proposición es verdadera.