reconsider xy = [x,y] as Element of [:A,A:] ;
f . xy is Element of L ;
hence f . (x,y) is Element of L ; :: thesis: verum