theorem :: MOD_3:20

for R being Skew-Field
for V being LeftMod of R holds V is free by Lm3;