dim&dimmer

ok,
Z/mZ is a cyclic group (iso to Z mod(m)) with order m, and Z/nZ has order n.
Isomorphism preserves orders so ker(g) = mnZ iff m and n are coprime, so that the order of Z/mZ x Z/nZ is mn.
Does this complete the proof