Exercise MM.T22 Robert Beezer

Prove the second part of Theorem MMDAA.