References: Theorem 3.9.