theorem :: WEDDWITT:25

for R being Skew-Field
for s being Element of R holds the carrier of (center R) c= the carrier of (centralizer s)