Выбрав достаточно большим, мы имеем из (5.11.5) и из теоремы о регрессии в разд. 5.2, что если Следовательно, (5.11.7) означает, что
Благодаря невырожденности если и отсюда следует утверждение теоремы.
Теорема 5.11.1 связывает авторегрессионное представление случайной конфигурации с топологической природой регулярности, из которой мы исходили.