makes simple lemmas without all the crap at the end of the lemma