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