\def\example{\proclaim{Example}}
\def\label#1{{\sl (#1)\/}\enspace}
-\def\labelx#1{\label{#1}\hfil\break\kern 0pt} % Eat spaces
+\def\labelx#1{\label{#1}\hfil\break\eatspaces}
+\def\eatspaces{\kern0pt}
\def\thmn{\thm\labelx}
\def\lemman{\lemma\labelx}
\def\problemn{\problem\labelx}
\def\remn{\rem\labelx}
-\def\paran#1{\para {\sl #1.\/}\enspace\kern 0pt}
+\def\paran#1{\para {\sl #1.\/}\enspace\eatspaces}
\def\proof{\noindent {\sl Proof.}\enspace}
\def\proofsketch{\noindent {\sl Proof sketch.}\enspace}