Алгоритм вычитания многозначных чисел базируется на следующих теоретических положениях:

Перенос единицы из старшего разряда в младший. Если при вычитании чисел один разряд не хватает для выполнения операции, то из следующего старшего разряда "заимствуется" единица.

Вычитание в столбик. Для удобства выполнения операции вычитания многозначных чисел используется метод вычитания в столбик, при котором разряды одного числа вычитаются из разрядов другого по порядку, начиная с младших.

Обработка нолей. При вычитании многозначных чисел возможна ситуация, когда в результате в одном из разрядов получается ноль. В этом случае необходимо проводить перенос единицы в следующий разряд.

Корректность результата. После выполнения операции вычитания необходимо проверить корректность полученного результата путем сложения его с вычитаемым числом. Результат должен быть равен уменьшаемому числу.

Применяя эти теоретические положения к примеру вычитания чисел 1726 и 2215, мы последовательно проводим вычитание в столбик, переносим единицы при необходимости и проверяем корректность полученного результата.