theorem Th14: :: MATGRP_0:7
for R being commutative Ring
for x being Element of R holds x in center R