When are two proofs of the same theorem different proofs

mathoverflow.net