A Proof of the Bloch Theorem for Lattice Models