Akan ditunjukkan bahwa S tertutup terhadap pengurangan maka S grup bagian dari A (terhadap

penjumlahan).
Karena S tidak kosong maka S mengandung paling sedikit satu anggota, misalkan x dan dengan
mengingat S tertutup dibawah penguranagn maka x x = x + (-x) = 0 juga dalam S.
Berarti S mengandung identitas terhadap penjumlahan.
Untuk sebarang y dalam S, karena S tertutup terhadap pengurangan maka 0 y = 0 + (-y) = -y
dalam S sehingga S mengandung semua invers dari anggota-anggotanya terhadap penjumlahan.
Untuk sebarang x, y dalam S maka y dalam S dan akibatnya x (-y) = x + (-(-y)) = x + y
berada dalam S.
Oleh karena itu S tertutup terhadap penjumlahan. Berarti s grup bagian dari < A , + >

Karena grup bagian dari suatu grup abelian < A, + > maka S juga grup abelian.
Karena S himpunan bagian dari ring A maka syarat hukum assosiatif, hukum distributif kiri dan
hukum distributif kanan terpenuhi.
Berarti S merupakan ring terhadap operasi yang sama pada ring A yang dibatasi pada S. Terbukti
S SUBRING dari A.
Contoh I.3
Bila didefinisikan Q(2 ) = { a + b 2 a, b dalam Q } maka akan dibuktikan bahwa Q(2 )
merupakan SUBRING dari R.
Karena Q himpunan yang tidak kosong maka jelas bahwa Q(2 ) juga himpunan yang tidak
kosong.
Terhadap operasi pergandaan bersifat
( a + b 2 ) ( c + d 2 ) = ( ac + 2bd ) + ( ad + bc ) 2 dan terhadap operasi pengurangan bersifat