13.12. TételEgész számok összeadá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 (a1+c1;b1+d1)∼(a2+c2;b2+d2).♣↓Alárendelt lap:Bizonyítás