负数都小于零怎么证明这个是真命题