\renewenvironment{proof}%
  {\bgroup\setbox0=\vbox\bgroup}%
  {\egroup\egroup}
