Consider Z X P and define (m, n) ~ (p, q) if mq = np. Show that ~ is an equivalence relation on Z X P. Show that ~ is the equivalence relation corresponding to the function Z X P right arrow Q given by f(m, n) = m; see Theorem 2(a)