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