Additionally, "[I]n the general case, von Neumann proved the following basic representation theorem. How long was von Neumann's lattice theory paper