fixed some bugs in proofs.tex