fix error in first proof, and minor typo further down