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