finish exer 9.6.7