定理1:自反 定理2:反反 定理3:绝对不等式 定理4:绝对值等式 定理5:商整除 定理6:同乘整除 定理7:传递 定理8:交叉 定理9:带余除法 定理10:辗转(有限带余除法后,余数为0) 定理11:连续n个整数中,必有一数为n的倍数。 定理12:连续n个整数的乘积,必为的倍数。