theorem Th34: :: LMODFREE:36

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