Se , então vale: