sentence: Los errores tampoco podrán ser totalmente superados en caso de la verificación humana de una demostración, especialmente si la demostración contiene lenguaje natural y requiere un trasfondo matemático profundo.
modified: fix grammar: Los errores tampoco podrán estar totalmente superados en caso de la verificación humana de una demostración, especialmente si la demostración contiene lenguaje natural y requiere un trasfondo matemático profundo.