5.142
Die Tautologie folgt aus allen Sätzen; sie sagt Nichts.