theorem Th74: :: FUNCT_3:74

for V, X, Y, Z being set
for f being Function of X,Y
for g being Function of V,Z holds [:f,g:] is Function of [:X,V:],[:Y,Z:]