1833   a resource). We can prove the following lemma.

  1833   a resource). We can prove the following lemma.

  1834 

  1834 

  1835   \begin{lemma}\label{childrenlem}

  1835   \begin{lemma}\label{childrenlem}

  1836   HERE %@ {text "If"} @ {thm (prem 1) cp_rec} @{text "then"}

  1836   HERE %@ {text "If"} @ {thm (prem 1) cp_rec} @{text "then"}

  1837   \begin{center}

  1837   \begin{center}

  1838   %@ {thm (concl) cp_rec}.

  1839   %@ {thm (concl) cp_rec}.

  1839   \end{center}

  1840   \end{center}

  1840   \end{lemma}

  1841   \end{lemma}

  1841   

  1842   

  1842   \noindent

  1843   \noindent