Round-six lemma `cnjCp_runs`