Verificación de las leyes de conmutatividad y asociatividad en las operaciones enteras