Sabe-se que: "Se X não acontece e Y acontece então Z acontece."

Suponha que Z não acontece.

Logo: