Properties of division of integers