i dont think this is true. Out of the first theorem we know that there is a bijection between the density function and the external potential. So we know there is one potential that matches with the ground state density, but we can not know witch one from the first theorem. So we need to know from the second theorem that it is indeed the groundstate energy.