Dengan defenisi grup dapat dilakukan seperti contoh sebelumnya
Dengan teorema A-2
Ambil sembarang a,b ∈ H dari defenisi dapat ditulis a = 2m dan b =
2n ; m , n ∈ Z ( bilangan bulat)
a-b = a+(-b) =2m+(-2n)
=2(m-n),k =(m-n) ∈ Z
= 2k ∈ H ( sifat dari teorema A-2 dipenuhi) .