 The proof is then completed by appealing to a result of von Neumann and Morgenstern (1947), which shows that the aforementioned trio of properties is necessary and sufficient for the representability of \(\succeq\) by a function \(U\) such that 