In the video the theorem emphasizes the bijection between the ground state electron density and the external potential. The fact that this means every observable property can be written as a unique functional of the density, is just a logical consequence which we can use.
It’s the opposite in the wikipedia article.