Nótese que para llegar a una contradicción debemos tener lo siguiente: