\setupbackend[export=yes,xhtml=yes]
\setupinteraction
[   color=red,
   menu=on,
   state=start,
   page=yes
]

\defineenumeration[Theorem]
  	[alternative=serried,
   	width=fit,
	distance=.5\emwidth,
   	text=Theorem,
   	style=italic,
   	title=yes,
   	titlestyle=normal,
   	prefix=yes,
	headcommand=\groupedcommand{}{.}
 	]			

 \defineenumeration
 	[Lemma]
 	[Theorem]
 	[text=Lemma]
	
			
\starttext 

\startsection[title=Introduction]

\startTheorem[thm:euler]
\startformula
e^{\pi i}+1=0 \ .
\stopformula
\stopTheorem

\startLemma[thm:euler2]
\startformula
v-e+f+2=0 \ .
\stopformula
\stopLemma
\stopsection

\stoptext
