求详细的包络定理的描述及证明。