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