数论中的定理对负数成立吗