small correction thm 6.10