Properties of Division under Integers