theorem Th16: :: WEDDWITT:16

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