for i, j, k being Integer st i divides j holds
k * i divides k * j