A proof is that which is convincingsubstack.com1 point·mathattack··0 commentsOpen articleSaveView on HN