I disagree with the statement, the first thereom only talks about how there is a unique potential and thus a unique density and vice versa. the second talks about how a universal functional can be determined that has the ground state at its minimum and the density that minimizes the functional is the ground state density. It does not assume that there is a unique potential.