Совершенные разбиения для эргодических потоков

Доказано, что всякий эргодический поток обладает совершенным разбиением. Отсюда, в частности, следует, что если поток содержит $K$-автоморфизм, то он является $K$-потоком.