Сумма двух натуральных чисел является натуральным