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