Hemos demostrado que