**Theorem 1.1, cluster clause.** Over every complete DVR with finite residue field of size `q`, the cluster probability of type `σ` is `B_{n,σ}(q)`.

Initializing...

**Theorem 1.1, cluster clause.** Over every complete DVR with finite residue field of size `q`, the cluster probability of type `σ` is `B_{n,σ}(q)`. · Prove2Me