theorem Th28: :: LMODFREE:29

for R being non degenerated Ring
for X being non empty set
for f being Element of (Free_LMod (X,R)) holds f in Lin (rng (IotaMap (X,R)))