Обозначим через SO множество в пространстве переменных х а, выделяемое условием det х а 0, через ZP - множество, которое пробегают величины pf = dU/dxa, когда х а пробегают множество S .