Bloch's theorem