Para cada n∈Z+ definamosAn={z∈C∣zn−1=0}.Se p, q∈Z+ e (p, q) designa o seu máximo divisor comum, prove queAp∩Aq=A(p,q)