fixed sentence in thm 6.1