Richardsons theorem

Q.E.D: eln BOOLEAN PROOF OF RICHARDSON'S THEOREM 7 . BOOLEAN PROOF OF RICHARDSON'S THEOREM II K n!u, K K v~ 1 I K- AI K A.
Richardson's Theorem. Let $R$ be the class of expressions generated by. 1. The Rational Numbers and the two Real Numbers $\pi$ and $\ln 2$,. 2.
is identically zero. A summary of Richardson's proof (mostly from Richardson's paper itself) is below. The proof depends on the MRDP theorem.