theorem Th29: :: GRCAT_1:29

for UN being Universe holds Trivial-addLoopStr in GroupObjects UN