Se puede comprobar que se cumple: