let R be Ring; :: thesis: center (GL (1,R)), center (UnitGroup R) are_isomorphic
GL (1,R), UnitGroup R are_isomorphic by Th79, Th125;
hence center (GL (1,R)), center (UnitGroup R) are_isomorphic by Th12; :: thesis: verum