add a lemma to easily combine two arbitrary mapsto (with different values)

6 jobs for master in 13 minutes and 40 seconds (queued for 2 seconds)