Отрицательное собственное значение линейного симплектического отображения