Por ejemplo, se cumple que