Es fácil probar que son equivalentes: