When are two proofs of the same theorem different proofsmathoverflow.net3 pointsdargscisyhp2 years ago