theorem Th61: :: NUMBER14:61

for i being Integer
for x being object st x in multiples i holds
x is Multiple of i