Rearranged and clarified lots of theorems.