TeXo with lemma statement
Proofs finished. Need proofread.