Lemma

If theorem is too complicated, we decompose in several pieces of Lemma (intermediate steps to reach your main theorem)