Added a lemma environment for theorems