Template:Individual-TLP-paragraph-en-6.127

6.127 All propositions of logic are of equal rank; there are not some which are essentially primitive and others deduced from these.

Every tautology itself shows that it is a tautology.