不是定理