Click Berkeleys Proof.doc link to view the file.