布洛赫定理定义