Hohenberg–Kohn theorems