Corrected syntax errors in two proofs.