6˙1141
Ein unverallgemeinerter Satz kann ja ebensowol tautologisch sein als ein verallgemeinerter.