theorem Th57: :: ORDINAL6:57

for U being Universe holds
( U is uncountable iff omega in U )