不是定理吧