Añadida parte de la demostración y de la contrahipótesis