Let $P = (\Omega, \mathcal{F}, \mathbb{P}, T)$ be a D2839: Probability-preserving system such that
(i) | $P$ is a D5573: Strongly mixing probability-preserving system |
Then $P$ is a D5574: Weakly mixing probability-preserving system.