Sem X não se tem Y. Se Y então W.

Assim, pode-se afirmar que: