En primer lugar, tenemos que formula_10 debe contener a todos los números racionales y, en segundo lugar, a formula_34 (usaremos formula_22 en lugar de formula_42, para destacar la validez del proceso siguiente para un número irracional cualquiera).