Additionally, "[I]n the general case, von Neumann proved the following basic representation theorem. In what room did von Neumann often write at home