theorem Th171: :: MATGRP_0:151

for R being Ring
for n being Nat
for G being b₂,b₁ -linear Group
for H being Subgroup of G holds H is n,R -linear