Теорема об ассоциативности сложения арифметики натуральных чисел