1.

   untuk  

    a. basis induksi untuk   (bilangan asli pertama)

        maka 

                    (terbukti).

    b. Langkah induksi

        misal : benar untuk   maka 

        akan dibuktikan : benar untuk   maka 

        pembuktian :

        

        

        

        

    jadi, langkah a dan b telah terbukti benar    untuk   .

2. Buktikan bahwa : jika   maka 

    bukti :

                         sifat A4 (elemen nol)

             sifat A5 (invers)

             sifat A3 (assosiatif)

                                         sifat A4 (elemen nol)

                                                 (terbukti)

    jadi, terbukti jika   maka 

3. Buktikan bahwa : jika   maka 

   bukti :

  

                                      sifat A4 (elemen nol)

                             sifat A5 (invers)

                            sifat A3 (assosiatif)

                                                sifat A4 (elemen nol)

                                                       (terbukti)

jadi, terbukti jika   maka  .