theorem Th23: :: WEDDWITT:23

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