As per Wikipedia, the first theorem of Hohenberg-Kohn states that ‘The external potential (and hence the total energy), is a unique functional of the electron density’ which in other words expresses the same concept.
If Vext is uniquely related to a electron density and vice versa, it means it can uniquely identify the values of various properties.