完全剩余系统的初等数学

只需要证明{0，2，4，...，2(m-1)}构成了模m的完全剩余系，因为{0，2，4，...，2(m-1)}是{A1+B65438。

相反假设如果集合{0，2，4，...，2(m-1)}，把它们设为2x和2y模m同余(0

注意m是奇数，所以x-y也可以被m整除。但是被0整除

因此，相反的假设不成立，并且{0，2，4，...，2(m-1)}构成了模m的完全剩余系。