set h = <:f,g:>;
rng <:f,g:> c= [:(rng f),(rng g):] by FUNCT_3:51;
hence for b₁ being Function st b₁ = <:f,g:> holds
b₁ is [:X,Y:] -valued by XBOOLE_1:1; :: thesis: verum