theorem Th36: :: GRCAT_1:37

for UN being Universe holds Trivial-addLoopStr in AbGroupObjects UN