theorem Th15: :: MATGRP_0:8

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