F . cd is Element of Funcs (A,B) ;
hence F . cd is Element of Funcs (A,B) ; :: thesis: verum