Proofs in mathematics are what mathematics is all about. They are subject to entire books, created entire theories like Fermat’s last theorem, are hard to understand like currently Mochizuki’s proof of the ABC conjecture, or need computer assistance like the 4-color-theorem. They are sometimes even missing, although everybody believes in the statement like the Riemann...