Se puede verificar, pero no es trivial, que