но 
 — вектор, минимизирующий 
откуда следует 1). Докажем 2): имеем 
где 
В критериях 
 каждый элемент из 
 участвует один и только один раз. 
Пусть 
 и 
 индексы классов, к которым принадлежит элемент 
 в разбиениях 
 соответственно. Тогда имеем 
По построению разбиения 
 
откуда, суммируя эти неравенства по 
 получим 2). Из 1) и 2) следует, что последовательность 
 не возрастает. Так как 
 ограничена снизу нулем, она сходится. Сходимость достигается за конечное число этапов, так как множество 
 конечно и элементы последовательности 
 принадлежат к конечному множеству 
 
Предложение 6. Последовательность 
 сходится к несмещенному элементу, т. е. 
 
Доказательство. Как показано выше, последовательность 
 сходится и достигает своего предела за конечное число шагов, следовательно, 
 такое, что 
 
Но
откуда 
 Последнее равенство можно переписать в виде