theorem :: WEDDWITT:39

for R being Skew-Field holds 1. (center R) = 1. R by Def4;