-Improved proof