reconsider C = Q_Funcs X as Subset of by Th4;
C is rational-functions-membered ;
hence Q_Funcs X is rational-functions-membered ; :: thesis: verum