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