Bloch theorem