В буквенном виде это правило вычитания имеет вид a−b=a+(−b), . Оно доказывается на основании свойств действий с действительными числами. Действительно, эти свойства позволяют записать цепочку равенств вида (a+(−b))+b=a+((−b)+b)=a+0=a, которая в силу существующей связи между сложением и вычитанием доказывает равенство a−b=a+(−b), а значит, и рассматриваемое правило вычитания.