consider x being Element of X;
F . x in rng F by FUNCT_2:6;
hence proj2 F is non empty Subset of ExtREAL by XBOOLE_1:1; :: thesis: verum