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