Birkhoff Von Neumann Theorem