Основные теоремы, устанавливающие свойства дискретного стационарного источника.
Случайный дискретный источник стационарен,
если условность не зависит от номера
д/ всех 
… 
Условные вероятности инвариантны относительно любых сдвигов оси событий
Процесс порождения процессов в стационарном источнике не зависит от начала отчета
Теорема 5. Для дискретного стационарного источника энтропия событий при условии задания всех предшествующих событий, образующую невозрастающую последовательность:
Теорема 6. Для дискретного стационарного источника условная энтропия имеет предел
Среднее количество информации на одно сообщение, достаточно удалённое от начала отчета
Доказательство
(монотонно не возрастает и ограничена
снизу) => 
предела.