added lemma for split