So they got the big medal in mathematics, one of the three medals that people have received for proving things which I've seen without being able to prove them.
Y así obtuvieron la gran medalla en matemática, una de las tres medallas que se pueden obtener por verificar cosas que yo he visto sin ser capaz de verificar.