(26) Если классификация ошибочна, то найдется по крайней мере одно число  , для которого
, для которого  
 
Для каждого  и каждого такого
 и каждого такого  положим
 положим 
 
Как и раньше, можно было бы в (95) и (96) заменить  на
 на  но для простоты записи мы этого делать не будем.
 но для простоты записи мы этого делать не будем. 
Чтобы доказать, что алгоритм работает правильно, опять надо показать, что последовательность ошибок  конечна. Из тех же соображений, что и ранее, заключаем, что если последовательность
 конечна. Из тех же соображений, что и ранее, заключаем, что если последовательность  конечна, алгоритм должен решать задачу классификации.
 конечна, алгоритм должен решать задачу классификации. 
Пусть  будет множеством
 будет множеством  -мерных векторов, построенных из
-мерных векторов, построенных из  так, чтобы вектор
 так, чтобы вектор  линейно содержащий
 линейно содержащий  содержал элементы матрицы
 содержал элементы матрицы  в определенном порядке. Чтобы получить такое множество, используется каждый вектор
 в определенном порядке. Чтобы получить такое множество, используется каждый вектор  для определения
 для определения  векторов в
 векторов в  Возьмем
 Возьмем  Векторы
 Векторы  построенные из у, обозначим
 построенные из у, обозначим  Каждый вектор
 Каждый вектор  состоит из
 состоит из  блоков, каждый из которых имеет
 блоков, каждый из которых имеет  компонент, причем
 компонент, причем 
а)  -й блок вектора
-й блок вектора  совпадает с
 совпадает с  компонентами вектора у,
 компонентами вектора у, 
б)  -й блок вектора
-й блок вектора  совпадает с
 совпадает с  компонентами вектора —у,
 компонентами вектора —у, 
в) все остальные компоненты вектора  равны нулю.
 равны нулю. 
Таким образом, для любого вектора у из класса  в множестве
 в множестве  есть
 есть  векторов, соответствующих отличиям его от классов, которым он не принадлежит. У этих векторов
 векторов, соответствующих отличиям его от классов, которым он не принадлежит. У этих векторов  блок соответствует правильному классу.
 блок соответствует правильному классу. 
По предположению матрица  существует. Мы будем искать вектор
 существует. Мы будем искать вектор  составленный из
 составленный из  векторов
 векторов  (строк матрицы
 (строк матрицы  ). Алгебраически
). Алгебраически 
 
для  Тогда для каждого вектора
 Тогда для каждого вектора  
 
 
поскольку если  линейно отделяется матрицей
 линейно отделяется матрицей  то
 то  
 
Теперь обратим этот процесс, и пусть известно, что  линейно содержит
 линейно содержит  
 
Равенство (97) можно тогда использовать для определения векторов матрицы  линейно отделяющей
 линейно отделяющей  Подходящий вектор
 Подходящий вектор  можно найти с помощью изложенного выше алгоритма для двух классов. Таким образом, задача для нескольких классов решена:
 можно найти с помощью изложенного выше алгоритма для двух классов. Таким образом, задача для нескольких классов решена: