theorem Th19: :: NUMBER03:19

for n being Nat st n <> 0 holds
for p, m being Integer st p divides m holds
p divides (m GeoSeq) . n