I wonder, are there an infinite number of proofs of the theorem, each more complex than the last? Can I rephrase what they did, make it more convoluted, and call it a new proof?
If they are irrelevant details then that should not count as a new proof, in my opinion.
I guess it might be possible to have a "canonic form" of a proof so that if two proofs can be reduced to the same canonic proof then they are in fact the same proof.
