theorem Th132: :: GROUP_3:132

for G being Group
for a being Element of G holds card (con_class a) = Index (Normalizer {a})