rng f = {} ;
then rng (~ f) = {} by FUNCT_4:42, XBOOLE_1:3;
hence ~ f is empty ; :: thesis: verum