Se e , então é