How exactly does a lemma differ from another type of proposition (like a theorem or corollary)?

How exactly does a lemma differ from another type of proposition (like a theorem or corollary)?

I think it is that lemmas are used to help prove theorems and coroallary are specific cases of theorems. Is this correct?