He escrito una respuesta en LaTeX para una pregunta formulada en cstheory.stackexchange. Me gustaría copiarlo en una respuesta real a la pregunta original. ¿Cómo puedo hacerlo?
El principal problema es que LaTeX contiene teoremas (definiciones, lemas, etc.) y quiero que se vean bien en la respuesta en lugar de simplemente:
\begin{lema} ... \end{lema}