Round-six lemma `digL_split`