2.4.8 定理环境