Por ejemplo, se cumple: