remove unused splitting lemma assumption