Pembuktian
Bukti a:
Karena H merupakan subgrup dari G maka menurut
defenisi A-1 subgrup, H memenuhi keempat aksioma grup.
Dengan demikian maka H memenuhi sifat 1 dan 2.
Bukti b:
Untuk menunjukkan bahwa H subgrup dari G tinggal
dibuktikan aksioma kedua dan ketiga, yaitu: