定理 -