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.