added all lemmas to template