theorem Th69: :: GROUP_2:69

for G being Group holds card ((1). G) = 1