small improvement of the proof; made it a section instead of subsection