Added a lemma about combined subheaps for maps.