f . [x,y] is Element of ;
hence f . x,y is Element of ; :: thesis: verum