Einzigartige Fortsetzung für Vielteilchen-Schrödinger-Operatoren und das Hohenberg-Kohn-Theorem