أرسل هذا في رسالة قصيرة: An existential 0-definition of F_q[[t]] in F_q((t))