De la suma de dos números enteros positivos siempre se obtiene un entero positivo.