Corregido bug cuando hay teoremas con errores