reconsider p = [p1,p2] as set by TARSKI:1;
ex q1 being Polynomial of L ex q2 being non zero Polynomial of L st p = [q1,q2] ;
hence [p1,p2] is rational_function of L by Def8; :: thesis: verum