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