Move lemma to obsolete.tex