定理3