Proof of the main theorem