Se e , então vale: