12.18. LemmaÖsszeg egyszerűsítése a természetes számok körébenTetszőleges aaa, bbb és ccc természetes számok esetén ha a+c=b+ca+c = b+ca+c=b+c, akkor a=ba=ba=b.♣↓Alárendelt lap:Bizonyítás