theorem Th74: :: ORDINAL6:74

for U being uncountable Universe holds (U -Veblen) . 1 = criticals (U exp omega)