added remark after thm 6.4

first attempt