Round-six lemma `kmulD_bnd`