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