If no one understands a proof, then it is not a proof
Proofs are much easier when one just lists their axioms, leaving the rest an exercise to the reader.
alt Hacker News
Proofs are much easier when one just lists their axioms, leaving the rest an exercise to the reader.