Birkhoff-von Neumann theorem