splitting lemma

Categories: