An individual ergodic theorem for non-commutative transformations.