theorem :: GROUP_3:83

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