Extensibility of Hohenberg–Kohn Theorem to General Quantum Systems