La démonstration de ce théorème est la suivante. Soit une base d'un espace vectoriel. Un calcul auto-cohérent (SCF) est alors mené, produisant la meilleure fonction d'onde à déterminant simple que l'on peut obtenir dans cet espace. Soit ψ0 cette fonction d'onde. ψ1 diffère de ψ0 par une orbitale atomique seulement, ce qui signifie que leurs déterminants diffèrent seulement par une ligne. Or, une des propriétés générales des déterminants est que, si deux d'entre eux sont différents par une ligne ou une colonne, toute combinaison linéaire des deux peut être exprimée comme un seul déterminant. Donc, toute combinaison c1ψ1 + c0ψ0 peut se traduire par un seul déterminant. Cependant, comme ψ1 est décrite dans la base initiale (donc n'utilise pas d'autres fonctions que celles présentes dans cette base), c1ψ1 + c0ψ0 est un déterminant unique dans l'espace vectoriel initial. Cependant, comme le déterminant de ψ0 correspond à la fonction d'onde de plus basse énergie, aucune combinaison linéaire c1ψ1 + c0ψ0, quelle qu'elle puisse être, ne permet d'obtenir mieux.
