added one direction of two pullback lemma