for k, m being Integer holds
( |.m.| divides k iff m divides k )