La suma en el conjunto de los números enteros: formula_20,