Lemmas

Lemmas: some statement [not have a significant meaning] but assist to prove more significant statement.