Спектр скоростей блуждания неортогонального произведения двух поворотов

Доказано, что скорости блуждания решений любой автономной четырехмерной системы с оператором Коши, осуществляющим два независимых поворота с двумя разными частотами в двух плоскостях (образующих прямую, но не обязательно ортогональную сумму), заполняют в точности отрезок с концами в этих частотах.