theorem :: CLASSES5:29

for U being Universe
for C being class of U holds not C is finite