Bukti :
(1) Telah diketahui bahwa H subset tak kosong dan H tertutup di bawah operasi
perkalian pada G
(2) Ambil sembarang a ∈ H , akan ditunjukkan bahwa a−1 ∈ H
karena H tertutup maka
2 3 2 n +1 n
a =a . a ∈ H , a =a . a ∈ H ,... , a =a . a ∈ H
Karena H berhingga, maka ada 1 ≤i< j≤ n+1 sedemikian hingga
i j
a =a
a i . a−i=a j . a−i
j−i j−i
e=a ↔ a =e
Karena j−i≥ 1, maka a j−i=e ∈ H (mempunyai elemen identitas)
Karena j−i−1 ≥0 , maka a j−i−1 ∈ H sehingga
j−i−1 j−i
a.a =a =e
Maka, diperoleh elemen invers H yaitu a−1=a j−i−1 ∈ H
−1
∴a ∈H
Dari (1) dan (2) maka terbukti bahwa H adalah subgrup dari G