restructured
added second part of third proof