Comment by someplaceguy

> "If X is greater than 10, X is greater than 20" theorems

I think you meant in the opposite order, i.e.: "If X is greater than 20, then X is greater than 10" :)

But otherwise your point is valid.