Условие:
Докажи теорему о том, что бинарная операция умножения на множестве натуральных чисел ассоциативна, коммутативна и дистибутивна относительно сложения. Доказывай методом математической индукции, сначала правую дистрибутивность (a+b)c, затем коммутативность, используя теорему о том, что сложение на этом множестве коммутативно, затем левую дистрибутивность c(a+b), в конце ассоциативность

