theorem Th55: :: CLASSES4:55

for UN being non trivial Universe holds COMPLEX in UN