包络定理