Aus einer Gleichung ${\displaystyle {}n\cdot k=m\cdot k}$ mit ${\displaystyle {}k,m,n\in \mathbb {N} }$ und mit ${\displaystyle {}k\neq 0}$ folgt

${\displaystyle {}n=m}$.