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