Von Neumann%E2%80%93Morgenstern utility theorem