Using Theorem 6.1