thm 6.6

restatement