Thm2.12.5