Using Theorem 6.2