theorem Th69: :: GROUP_1A:115

for G being addGroup holds card ((0). G) = 1