Round-six lemma `stage2_seg`