On Mathematicians' Standards When Evaluating Elementary Proofs | Hacker News Reader