theorem :: MATGRP_0:103

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