Fixed incorrect proofs