若"a+5"为无理数是"a"为无理数的充要条件.很多人问过,但是我想问的是"a"是无理数,那么推出的应该是