%%
%% proof.tex
%%

\newcommand{\LSide}{\mbox{����}}
\newcommand{\RSide}{\mbox{����}}
\newcommand{\GExp}{\mbox{Ϳ��}}

\newenvironment{EquList}{\[\begin{array}{lllll}}{\end{array}\]}

\newenvironment{EProof}{\begin{EquList}}{%
     \mbox{��äơ�}&             &   & \\
                   & \LSide & = & \RSide \\
\end{EquList}
��äơ�Ϳ����줿��������Ω���롣
}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "exer2002"
%%% End: 

