Comment by eru

Although some proofs can accumulate cruft.

E.g. there was a small and nice intuitive prove of a reasonable theorem in the first place, but scores of people found ways to generalize it, and in the end you have a mess of symbols proving a hopelessly general lemma.