Corrected statement of main proposition
Edited first section plus made new ordered version