fixed a few typos in proofs