theorem Th7: :: WEDDWITT:7

for G being Group
for a being Element of G
for x being set st x in Centralizer a holds
x in G