Both follow from the equivalence theorem and the tautology theorem.
That's the nature of tautologies.
This is one reason why tautologies are important.
I do not think I have ever come across such a fine exercise in tautology in a public document.
We keep getting caught in a huge tautology and I am afraid that this is precisely the economic policy which you support.
But a statement like that is in itself little more than tautology.
And it's not ATMOS-system, that's a tautology.
But, though this might appear a tautology, there is much that can be done by the United Nations to promote a culture of peace in actions taken to promote peace and security.
Could it be that the Help file writer for this feature didn't know either, and made something up that represented a tautology?
In draft guideline 3.1.1, the chapeau and the first line immediately following it were a tautology.