lemma

theorem for proving more complex theorems