Theorem 12-3 Proof