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