6.127

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

Every tautology itself shows that it is a tautology.