布洛赫定理两种形式等价