for m being Nat
for i being Integer st 0 < m & m * i divides m & not i = 1 holds
i = - 1