Updated second proof