f . [a,b] is Element of C ;
hence f . (a,b) is Element of C ; :: thesis: verum