added second part of second proof