thm 10 prf
thm 10 prf contd