Theorem 10.5