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