Específicamente, es posible demostrar que