的性质定理