theorem :: CLASSES4:68

for UN being non trivial Universe holds QUATERNION * in UN by Th64, Th56;