Proof of the Main Theorem

We have in mind Theorem 1.7.1; all the other results formulated towards the end of Chap. 1 flow from it. No new ideas are needed for the proof of the main theorem. Contrary to a principle of Bourbaki, we have only to prepare ourselves for new calculations and a long chain of deduction.