second proof added