发送短信: An existential 0-definition of F_q[[t]] in F_q((t))