Se puede comprobar que se verifica entonces: