The elegance of a proof is as important as its correctness.