theorem :: CLASSES4:17

for UN being Universe holds omega c= UN by Th16;