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 (a1;b1)(a2;b2)(a_1;b_1)\sim (a_2;b_2) és (c1;d1)(c2;d2)(c_1;d_1)\sim (c_2;d_2), akkor

(a1c1+b1d1;a1d1+b1c1)(a2c2+b2d2;a2d2+b2c2)(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)