Frege's Theorem by Richard G. Heck