13.12. Tétel

Egész számok összeadása jóldefiniált

Jelölje a 13.1. Definíció szerinti relációt. Ebben az esetben ha és , akkor .