看到一个可供参考的定理。