f . [x,y] is Point of G ;
hence f . (x,y) is Point of G ; :: thesis: verum