Birkhoff–von Neumann theorem