This original theorem is actually not quite correct. The infinite spaces of v(r)s and (r)s are not equivalent, and there are (r)s which cannot lead to a v(r). This problem is raised in Levy (1982) and Lieb (1983), and discussed extensively in Parr and Yang (1989).