1、首先从模10的简化剩余系中取出两个数3、7。2、其次由于gcd(3,10)=1, gcd(7,10)=1，所以 gcd(3*7,10)=1。3、然后gcd(3*7mod 10,10)=1。4、最后故3*7是模10的余数也属于10的简化剩余系。