or that an electron in a lattice, which can be modeled as a single particle wave function \psi(\mathbf{x}), finds its stationary state solutions in the form of a plane wave multiplied by a periodic function u(\mathbf{x}). The theorem arises as a direct consequence of the aforementioned fact that the lattice symmetry translation operator commutes with the system's Hamiltonian.
