doc update

* proof of statement 1 was corrected
* other minor modifications