| dbp:proof
|
- If , then by definition.
Conversely, if , then let . For any two probability measures on the set , since , we get
Since each probability measure has one degree of freedom, we can solve for every choice of .
Linear algebra yields , which is a valid probability measure. Then we obtain .
Thus
for some constants . Plugging the formula into yields . (en)
|