If you don’t make mistakes, you’re not working on hard enough problems. And that’s a big mistake.
The elegance of a proof is as important as its correctness.