Fixing thm 10