Es seien ${\displaystyle {}a}$ und ${\displaystyle {}b}$ natürliche Zahlen, deren Produkt ${\displaystyle {}ab}$ von einer natürlichen Zahl ${\displaystyle {}n}$ geteilt werde. Die Zahlen ${\displaystyle {}n}$ und ${\displaystyle {}a}$ seien teilerfremd.

${\displaystyle {}b}$

${\displaystyle {}n}$