The video talk about an intuitive approach to the relationship between external potential, wave functions and density exploiting realationships based on function theory between groups while Wikipedia shows a more detailed approach with 2 corollariums of the first theorem