Some lemmas about commutative squares.

I thought these would be used in more places, but I only found one.