Es seien n {\displaystyle {}n} und k {\displaystyle {}k} positive natürliche Zahlen. Dann wird n {\displaystyle {}n} von k {\displaystyle {}k} genau dann geteilt,
wenn für jede Primzahl p {\displaystyle {}p} die Beziehung
gilt.