f . c in D ;
hence f . c is Element of ; :: thesis: verum