7.6. СХОДИМОСТЬ АЛГОРИТМА
В общее доказательство сходимости алгоритма (см. 1.3.6) следует внести некоторые изменения, учитывающие: выбор единого представительства;
неединственность представительства, на котором достигается минимум критерия 
при фиксированном 
В предложении 1 из 1.3.6 неравенство
следует непосредственно из приведенной выше конструкции представительства 
В предложении 2 из 1.3.6 равенство 
и неравенства 
влекут
Так как всякое изменение классов разбиения 
при переходе к разбиению 
обязано сопровождаться строгим улучшением критерия,
из последнего равенства вытекает, что и 
совпадают.
С другой стороны, поскольку отображение 
однозначное, имеем
Таким образом, получаем:
