theorem Th21: :: GROUP_4:21

for G being Group holds (<*> the carrier of G) |^ (<*> INT) = {}