Tenga en cuenta que10≡1(mod3), así aplicando el Teorema 1.17.3 (4) de nuevo, tenemos Esan−110n−1+⋯+a110+a0≡an−11n−1+⋯+a11+a0(mod3). decir,\[a\...Tenga en cuenta que10≡1(mod3), así aplicando el Teorema 1.17.3 (4) de nuevo, tenemos Esan−110n−1+⋯+a110+a0≡an−11n−1+⋯+a11+a0(mod3). decir,a≡an−1+⋯+a1+a0(mod3). Esto, utilizando el Teorema 1.17.1, prueba parte (c).