Tetszőleges a, b és c természetes számok esetén ha c\neq 0 és a\cdot c = b\cdot c, akkor a=b.