Not to nitpick, but you might want to check your grammar and spelling. It's "lemma", not "lemme", for one thing, and "produce" should be "produces"