附录F 定理12的证明