Rename to Lemma

Closes #45.