Day1数论数论入门欧几里得算法若\(a\perpb\)，则\(\gcd(a^m-b^m,a_n-b^n)=a^{\gcd(n,m)}-b^{\gcd(n,m)}\)，证明用辗转相减做到指数上。若\(n^a\equiv1(\modm)\)且\(n^b\equiv1(\modm)\)，则\(n^{\gcd(a,b)}\equiv1(\modm)\)，同理可证。[CF1656H]EQUALLCMSUBSETS