We sketch the proof for the non-trivial part of the theorem , corresponding to the sequence of commutative diagrams on the right .
We sketch the proof for the commutative part of the theorem , corresponding to the sequence of non-trivial diagrams on the right .