let R be Relation; :: thesis: ( R is empty implies R is ext-natural-valued )
assume R is empty ; :: thesis: R is ext-natural-valued
then rng R = {} ;
hence R is ext-natural-valued by XBOOLE_1:2; :: thesis: verum