The translation enables us to formalize and analyze free ride in terms of proof theory. The notion of normal form of Euler diagrammatic proofs is investigated, and a normalization theorem is proved.

While mathematicians never know whether a proof would merit inclusion in The Book, two strong contenders are the first, independent proofs of the prime number theorem in 1896 by Jacques Hadamard and ...