theorem Th33: :: LMODFREE:35

for R being non degenerated Ring holds Free_LMod ({},R) is free