14.4. Tétel
Egész számok szorzá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_1c_1+b_1d_1;a_1d_1+b_1c_1)\sim (a_2c_2+b_2d_2;a_2d_2+b_2c_2)
♣
14.4. 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
♣