Demostración automática de teoremas (2014-15) Demostración automática de teoremas (2014-15)

Parámetro continue no válido. Debes pasar el valor original devuelto por la consulta anterior.