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) . 15