%!TEX TS-program = mkiv
%%%%%%%%%%%%%%%%%%%%

\definedescription
[proof]
[text=Proof.]

%\setupdescriptions[proof]
%[width=broad,distance=0.5em,
%location=serried,
%headstyle=it,
%indentnext=yes,
%indenting=yes,
%closesymbol=\square]

\setupdescriptions
 [proof]
 [width=broad,
  distance=0.5em,
  location=serried,
  headstyle=bi,
  indentnext=yes,
  indenting=yes,
  closesymbol=\mathematics{\square},
  closecommand=\ifmmode\eqno\else\wordright\fi]

%Wolfgang
%_________

\definemathcommand[Card][nolop]{\mfunction{Card}}

\starttext

\startproof
... la partizione, da cui
\startformula
{\rm Card } G^n=n!\cdot {\rm Card } \gamma_n(G). \qed 
\stopformula
\stopproof


\startproof
... un'altra prova sarebbe di dire\dots
\startformula
{\rm Card} G^n=n!\cdot {\rm Card} \gamma_n(G),
\stopformula
il quale é equivalente a quello che abbiamo detto prima. 
\stopproof

\stoptext