theorem Th32: :: LMODFREE:33

for R being non degenerated Ring
for X being non empty set holds Free_LMod (X,R) is free