Let $\{ X_j \}_{j \in J}$ be a D1721: Random collection such that

(i) | $\{ X_j \}_{j \in J}$ is an D3915: Exchangeable random collection |

Then $\{ X_j \}_{j \in J}$ is an D3357: Identically distributed random collection.