A conditional extremum necessary condition in terms of local algebras

We prove a necessary condition for local extremum in the classical optimization problem with equality constraints. It states that at the point of extremum the dimension of the local algebra associated with the problem cannot be odd.