theorem Th14: :: MOD_3:14

for R being Ring
for V being LeftMod of R holds (0). V is free