Von_Neumann–Morgenstern_utility_theorem