Properties of Arithmetic Operations