Как доказать, что заданный алгоритм делает то, что он должен делать?
Ключевые идеи индукции и инвариантности
Стандартные...