如何证明有理数减有理数仍然等于有理数