theorem :: CLASSES2:48

for U being Universe holds Tarski-Class U is Universe by Th47;