When are two proofs of the same theorem different proofs | Dark Hacker News