Sufficient conditions for high order invariance

The paper is concerned with design of systems invariant with the terminal functional independent of initial conditions. This problem is shown reducible to finding a solution of an algebraic equation.