Lemma

wtf is a Lemma?

@todo

a lemma is an intermediate result, (a stepping stone)