rng R c= RAT by Def4;
hence rng R is rational-membered ; :: thesis: verum