Para probar (ii), tenga en cuenta que existeni,j∈Z tales quea=ni+r yb=nj+s Entoncesab=n2ji+rnj+sni+rs=n(nji+rj+si)+rs Por lo tanton∣(ab−rs) y\...Para probar (ii), tenga en cuenta que existeni,j∈Z tales quea=ni+r yb=nj+s Entoncesab=n2ji+rnj+sni+rs=n(nji+rj+si)+rs Por lo tanton∣(ab−rs) yab≡rsmodn De ahí las operaciones algebraicas queZn “hereda” de Zestán bien definidos.