\begin{forthel}
  [read cantor.ftl]

  Let M denote a set.

  \begin{lemma}
    The powerset of M is a set.
  \end{lemma}

\end{forthel}
