Theorem 2.3.4