14.4. TételEgész számok szorzása jóldefiniáltJelö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)(a1;b1)∼(a2;b2) és (c1;d1)∼(c2;d2)(c_1;d_1)\sim (c_2;d_2)(c1;d1)∼(c2;d2), 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)(a1c1+b1d1;a1d1+b1c1)∼(a2c2+b2d2;a2d2+b2c2)♣↓Alárendelt lap:Bizonyítás