Round-six lemma `memB_sound`