theorem Th118: :: MATGRP_0:102

for R being commutative Ring
for x being object holds
( ( x in center R & x in UnitGroup R ) iff x in center (UnitGroup R) )