for i, a, b being Integer st i divides a & i divides a - b holds
i divides b