Considere a, b, m Z com m maior ou igua a 2. Prove que se a ? b(mod m), então mdc(a, m) = mdc(b, m).