theorem Th16: :: WEDDWITT:16

for R being Ring holds the carrier of (center R) c= the carrier of R