Round-six lemma `touch_sub`