Частичный порядок Тоома транзитивен

Доказывается транзитивность частичного порядка на мерах на бесконечных двусторонних последовательностях в алфавите из двух символов, введенного Тоомом с целью доказательства неэргодичности некоторых клеточных автоматов.