4.92 - Theorem 5.6 Proof