unused lemma
deleting nice but deprectaed documented latex proofs