The main theorem