The formal foundation of TDDFT is the Runge–Gross (RG) theorem (1984) – the time-dependent analogue of the Hohenberg–Kohn (HK) theorem (1964). The RG theorem shows that, for a given initial wavefunction, there is a unique mapping between the time-dependent external potential of a system and its time-dependent density. This implies that the many-body wavefunction, depending upon 3 N variables, is equivalent to the density, which depends upon only 3, and that all properties of a system can thus be determined from knowledge of the density alone. Unlike in DFT, there is no general minimization principle in time-dependent quantum mechanics. Consequently, the proof of the RG theorem is more involved than the HK theorem.