

\ThmEnvCom{???}{!!!}{
 %\ThmEnvEquat{#1}{0}{Equat}{}
 %\ifnum#1>0\addtocounter{equation}{-2}\refstepcounter{equation}\fi
 %     \begin{equation}\ifnum#1=0\mylabel{}\fi
 %     \end{equation}
}{}{}{}{}{}{}
\ComText???!!!{1}{2}{3}{4}{5}{6}

\textbf{Доказательство.}
