Por ejemplo, se puede probar que