13.12. Tétel
Egész számok összeadása jóldefiniált
Jelölje \sim a 13.1. Definíció szerinti relációt. Ebben az esetben ha (a_1;b_1)\sim (a_2;b_2) és (c_1;d_1)\sim (c_2;d_2), akkor (a_1+c_1;b_1+d_1)\sim (a_2+c_2;b_2+d_2).
♣
13.12. Tétel
Jelölje \sim a 13.1. Definíció szerinti relációt. Ebben az esetben ha (a_1;b_1)\sim (a_2;b_2) és (c_1;d_1)\sim (c_2;d_2), akkor (a_1+c_1;b_1+d_1)\sim (a_2+c_2;b_2+d_2).
♣