6.1202

Está claro que se podría utilizar para el mismo fin, en lugar de las tautologías, también las contradicciones.