Every tautology itself shows that it is a tautology.

• 每个重言式本身表明它是一个重言式。