On the original proof by reductio ad absurdum of the Hohenberg-Kohn theorem for many-electron Coulomb systems - Kryachko, Eugene S. (Int. J. Quant. Chem., 2005)