Round-six lemma `LOWL_eq`