... Math

Let g N _, N be a function, meaning that for all n, m E M, if r1 =: m, then gm} d: g{m}. Prove that for all k E N, k i: 90:}. \f