References: Theorem 7.5