那么我们说b可以除a,或者说a可以被b除。a$表示b不可以除a。总有一对u,v使之成立。$r_4=au+bv$。继续这样下去,我们可以得到$r_t=au+bv$,而且有$r_t=gcd(a,b)$。1$是一个整数,如果a-b可以被m整除,那么我们说a和b对于模m同余。如果上述整数b存在,那么我们说b是以m为模的a的逆(乘法意义上)。$a^{p-2}$就可以得到a的逆。k为a模p的序(order)。p)$,那么a模p的序k可以整除n,当然也可以整除p-1。