Completed first version of proof of main theorem