Proving tautological versus trivial results in mathematics

https://freakonometrics.hypotheses.org/2399