Tal que se cumple: