Added most of the theorems of chap 5