Text this: The commutative diagram satisfied by the morphisms in the proof of Theorem 3.1.