generalize/weaken lemma-get-mapMV