more changes
small improvements on the main theorem