added second proof