Для любых целых чисел a,b,c выполняется распределительный закон. Доказательство сводится к натуральным числам, например: ((−3)+(−2))⋅(−7)=(3+2)⋅7=3⋅7+2⋅7=(−3)⋅(−7)+(−2)⋅(−7).
Закон верен и для нескольких слагаемых: (3+5+(−7))⋅(−2)=3⋅(−2)+5⋅(−2)+(−7)⋅(−2).
Переход от суммы a⋅c+b⋅c к произведению (a+b)⋅c называют вынесением общего множителя за скобки.