Properties of Addition under Integers