Round-six lemma `c48_ok`