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