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 cer totalmente superados en cazo de la verificasión humana de una demostrasión, espesialmente ci la demostrasión contiene lenguage natural y requiere un trasfondo matemático profundo.