Round-six lemma `gdropU_runs`