This is MLTeX (2.01), v3.1415 (format=plain.tex 95.4.24)  9 JUL 1995 18:33
**mproof example.5
(/usr/local/lib/texmf/tex/plain/standard/mproof.tex
(/usr/local/lib/texmf/tex/plain/standard/epsf.tex
\epsffilein=\read0
\epsfxsize=\dimen16
\epsfysize=\dimen17
\epsftsize=\dimen18
\epsfrsize=\dimen19
\epsftmp=\dimen20
\pspoints=\dimen21
)) [1]
Output written on mproof.dvi (1 page, 336 bytes).