Round-six lemma `chunks_ok`