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