It is clear that we could have used for this purpose contradictions instead of tautologies.
« 6.1201 6.1203 »