minor changes
a better proof