證明:
首先,我們注意到對於每個
,都有
。然後設
,即
對於某個
。然後
。
推論 1.3:
關係
是一個等價關係。
證明 1:
我們根據定理 1.2 證明這個推論。
自反性:設
,我們注意到
。
對稱性:設
,即
。然後
,其中
。
傳遞性:設
且
,即
且
。然後
。
證明 2:
我們直接證明這個推論。
自反性:
。
對稱性:
.
傳遞性:
且
意味著
,
對於某些
。因此,
.
證明:
考慮集合
.
由於這個集合根據定義包含在
中,因此它有一個最小元素。我們將此元素稱為
。根據定義,我們得到
的存在性,使得
.
我們定義
。假設
。那麼
,這與
的最小性相矛盾。
我們在此注意,對於那些滿足上述定理的環
(使用
代替
和
,以及一些其他的修改,參見維基百科文章),被稱為**歐幾里得環**。
定理 1.6:
存在恰好
個不同的模
同餘類,其中
。
證明 1:
我們用帶餘除法證明該定理。
我們聲稱
定義了成對不同的同餘類。事實上,假設這兩個元素定義了相同的同餘類,分別稱為
和
。那麼
,因此特別地
或
。後者是一個矛盾,因為我們可以讓
儘可能大,並將
儘可能小。
現在讓
。根據帶餘除法,我們得到
。然後
,其中
在範圍內
。
總之,我們得到每個元素
代表了一個不同的同餘類,而且每個其他數字都包含在由這些元素表示的同餘類中。由於它們有
個,因此定理成立。
證明 2:
我們根據推論 1.7 證明該定理(這並非無稽之談,因為我們給出了兩個證明該推論的方法,它們沒有基於此引理)。
首先,我們注意到
定義了成對不同的同餘類,因為如果
,根據推論 1.7,在
中恰好存在一個數字與
同餘(
本身)。
然後我們注意到,每個同餘類至少由一個
表示,而根據推論 1.7,它又與其中一個元素
同餘。因此,每個同餘類都由
中的一個元素表示。由於這些正好是
個不同的元素,因此定理得證。
推論 1.7:
令
,
,並令
個連續整數
為已知。如果
是另一個整數,那麼,在這
個整數中,只有一個與
模
同餘。
證明 1:
我們利用定理 1.2 來證明這個推論。
Indeed, by theorem 1.2 the integers congruent to
modulo
are given exactly by
. Assume none of those integers were contained within
. Define
to be the largest integer such that
and
to be the smallest integer such that
. By assumption
, since otherwise
would be larger than the largest integer
such that
and smaller than the smallest integer
such that
and hence
contrary to our assumption. But the difference between
and
is exactly
, and in particular there are
numbers enclosed between the two. This contradicts the assumption that the numbers
are enclosed within the two; those are
different numbers.
假設集合
中有兩個整數對模
同餘於
。將它們分別記為
和
。那麼根據定理 1.2,
,
,其中
。因此,
。特別地,
和
之差要麼為零,要麼大於或等於
,這與集合
中任意兩個數字之差小於或等於
(因為我們可以透過將較小的元素移動到
,並將較大的元素移動到
來最大化這個差) 相矛盾。
證明 2:
我們使用定理 1.2 和分數來證明推論。
如果
是一個整數,那麼
。 否則,
是一個分數。 令
是下一個更大的整數。 那麼

因此
包含在
中。 此外,對於所有 
,
只有其中的一個分數
可以是整數,這等價於
。
證明 3:
我們從同餘類的概念和引理 1.6 證明這個推論。
事實上,與引理 1.6 完全類似,我們證明了
表示成對不同的同餘類。由於它們恰好有
個,元素
實際上代表了所有同餘類。由於任何等價關係的等價類構成一個劃分,我們得出結論,每個
都與
中的一個同餘。
從定理 1.2 可以直接得出,
模
的剩餘恰好是以下這些數
.
引理 1.8
令
且
。 那麼
在
內恰好有一個剩餘,在
內也恰好有一個剩餘。當且僅當
時,它們重合。
證明:
這從推論 1.6 以及
或
推出,分別。 
定義 1.9:
引理 1.8 中的兩個餘數分別稱為負最小余數和正最小余數。
證明:
我們有
,因此
,即
。我們將四種情況分開:
。由於
,零同時是正最小余數和負最小余數。
定理與定義 1.11:
令
且
。在範圍
內恰好存在一個餘數
證明:
由於
(因此
),我們有
,
。