14.4. TételEgész számok szorzása jóldefiniáltJelölje ∼ a 13.1. Definíció szerinti relációt. Ebben az esetben ha (a1;b1)∼(a2;b2) és (c1;d1)∼(c2;d2), akkor(a1c1+b1d1;a1d1+b1c1)∼(a2c2+b2d2;a2d2+b2c2)♣↓Alárendelt lap:Bizonyítás