Распределительное свойство умножения это формула?
Да это формула. Относительно умножения - (а+б)*с= а*с+б*с; относительно вычитания- (а-б)*с=а*с-б*с