theorem Th15: :: GR_CY_1:15

for h being Element of INT.Group holds h " = - h