Theorem 10.12 proof