Se , e , então é