Birkhoff-von Neumann Theorem