[FartyMcFarter]

You can always insert irrelevant details into a proof, so it's easy to construct an infinite number of proofs from a single proof.

[galaxyLogic]

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.