[math-fun] Publishing new proofs of old results