I do not agree. The first one says for any observable there exists a functional of the ground state density. The second one add more practical approach to find the ground state density by saying that the value of the total energy functional for a given system (V_ext) minimizes at the ground state density of the system characterized by that V_ext.