I believe that this theorem essentially defines the ground state density of a given external potential as the one when, if applied with this functional, returns the lowest total energy. The previous theorem simply relates those sets mathematically and proves that only one external potential can be related to each density and vice versa.