Se e , então é: