相反假設如果集合{0,2,4,...,2(m-1)},把它們設為2x和2y模m同余(0
註意m是奇數,所以x-y也可以被m整除。但是被0整除
因此,相反的假設不成立,並且{0,2,4,...,2(m-1)}構成了模m的完全剩余系。