Буквенная запись свойств действий над числами