Bloch's theorem — For any wave function that satisfies the Schrödinger equation and for a translation of a lattice vector a , there exists at least one vector k such that: ψ ψ k ( x + a ) = e i k ⋅ ⋅ a ψ ψ k ( x ) .