theorem Th13: :: MATGRP_0:6

for R being commutative Ring
for x being object st x in R holds
x in center R