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