typo thm 2.13