No se encuentran errores importantes si se hace excepción de la incompletitud de algunas demostraciones.