Added a lemma for subheaps for pairs of separation algebras.