Minor improvements to thm 6