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