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