6.1202 It is clear that we could have used for this purpose contradictions instead of tautologies.