lemma

theorem for proving more complex theorems

زمرے: