Form 4 Chapter 10 - Thm 9 and its proof