Необходимое условие условного экстремума в терминах локальных алгебр

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