The proof makes use of the fact that every doubly stochastic matrix is a weighted average of permutation matrices ( Birkhoff-von Neumann theorem ) .
The proof makes use of the fact that every doubly weighted matrix is a stochastic average of permutation matrices ( Birkhoff-von Neumann theorem ) .