Round-six lemma `data_edge`