( rng R c= INT & rng (R | X) c= rng R ) by Def5, RELAT_1:70;
hence rng (R | X) c= INT by XBOOLE_1:1; :: according to VALUED_0:def 5 :: thesis: verum