An important result in Ergodic Theory. It states that any two ``Bernoulli schemes'' with the same Measure-Theoretic Entropy are Measure-Theoretically Isomorphic.