Merge branch 'ref4'
fixup: typo in proof of thm 2

The recently-added proof of theorem 2 (formerly a corollary) uses a
macro that has not been defined.  This commit replaces it with the
latex code.
Merge branch 'master' into ref4