推导布洛赫定理的过