展开 定理的正确性需要证明