Birkhoff–Von Neumann theorem