Esto es un resultado importante que merece la pena demostrar.