Fill in the boilerplatier parts of the proof of 3.3.