f . m is Element of ;
hence f . m is Element of ; :: thesis: verum