14.2. Lemma

Szorzat egyszerűsítése a természetes számok körében

Tetszőleges aa, bb és cc természetes számok esetén ha c0c\neq 0 és ac=bca\cdot c = b\cdot c, akkor a=ba=b.