In wikipedia the first theorem is similar to the explanation in the video, while the second theorem insists that the functional which result in ground state energy is definitely due to the input density of ground state density, which is lowest energy only.
.
