theorem ThDivisible4: :: ZMODUL08:39

for V being torsion-free Z_Module
for i being non zero Integer
for r1, r2 being non zero Element of F_Rat st r2 = r1 / i holds
EMbedding (r1,V) is Submodule of EMbedding (r2,V)