theorem Th56: :: CLASSES4:56

for UN being non trivial Universe holds QUATERNION in UN