Si se llega a una contradicción, lo contrario no es cierto, y se establecería lo que se desea.