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