theorem :: CLASSES5:63

for U being Universe holds
not for C being b₁ -petit Category holds C is U -element