Для доказательства данного утверждения, раскроем скобки в левой части уравнения a*(b+c):

a(b+c) = ab + a*c

Теперь упростим правую часть уравнения ab - ac:

ab - ac = a*(b-c)

Таким образом, мы получаем, что a(b+c) не равно ab - a*c.