the video takes a different route to explain the theorem (surjective and injective maps)
the wiki page state the theorem directly and add a little detail about if 2 eternal potentials have the same ground state densit, then the difference between the potentials must be a constan.
.
