Round-six lemma `stage1_seg`