>>20Calling any "correct" theorem a tautology is a bit disingenious, as there is always an implied environment of semantics, a specific interpretation of the operations involved, and a few conditions it is predicated on (e.g. "for all positive numbers").