(Laughter) Now it outputs a perfect answer, though its proof is impossible to read, even for mathematicians.
(latter) Nu udskriver den et perfekt svar, men beviset er umuligt at læse, selv for matematikere.