theorem Th62: :: NUMBER14:62

for i, j being Integer holds
( j in multiples i iff i divides j )