Introduction -- Foundations of Density Functional Theory: Existence Theorems