Theorem 4.1.1