The first theorem says that a functional exists and the ground state density can be used to find the propertie related to this functional. The second theorem explicitly requires the functional for the total energy of a system to meet an extra requirement. This functional reaches its minimum for the ground state density.