2020-05-13 The futile proofs of high school