theorem :: GROUP_1A:282

for G being addGroup
for a being Element of G holds a in con_class a by Th81;