added thm 10.4
added thm 10.4 proof