reconsider f = f, g = g as Element of Funcs A,B ;
F . f,g is Element of Funcs A,B ;
hence F . f,g is Element of Funcs A,B ; :: thesis: verum