theorem LmRank0a: :: ZMODUL06:35

for V being torsion-free Z_Module
for v being VECTOR of V st v <> 0. V holds
rank (Lin {v}) = 1