Совпадение полной и векторной частот решений линейной автономной системы

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