A high-order generalization of the Lyusternik theorem