theorem :: MATGRP_0:124

for R being Ring
for n being Nat
for S being Subring of R holds GL (n,S) is strict Subgroup of GL (n,R)