Para demostrar la invalidez de una proposición, se supone como punto de partida que la proposición es cierta.