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