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