theorem Th31: :: LMODFREE:32

for R being non degenerated Ring
for X being non empty set holds rng (IotaMap (X,R)) is base by Th29, Th30;