theorem Th13: :: GR_CY_1:13

1_ INT.Group = 0