Entonces se cumple: