Round-six lemma `MS_of`