theorem :: MATGRP_0:115

for R being Ring
for n being Nat
for X being Element of (GL (n,R)) st ex z being Element of R st
( z in center R & X = z * (1. (R,n)) ) holds
X in center (GL (n,R))