proof for lemma B_2 -> B-unifier