6.1202

É claro que, em vez da tautologia, é possível empregar a contradição para os mesmos fins.