Before going into details, we shall first indicate the main lines of the proof, naturally without laying claim to exactness.