О точечно полных парах линейных преобразований

Доказывается точечная полнота для системы $n$-го порядка с постоянными коэффициентами при условии, что матрицы системы можно так разбить на квадратные блоки одинакового размера, что совокупность всех блоков вкладывается в конечномерную вещественную ассоциативнуюалгебру с делением; блочный ранг пассивной матрицы системы не превосходит двух.