another typo thm 6.6