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