theorem Th57: :: NUMBER14:57

for i, j being Integer holds i * j is Multiple of i