theorem :: WEDDWITT:40

for R being Skew-Field
for s being Element of R holds 1. (centralizer s) = 1. R by Def5;