for G being Group
for a being Element of G holds
( a in center G iff con_class a = {a} )