“若X是个正有理数,则-X是个负有理数.