Es sei
die Menge aller Zweierpotenzen. Definiere eine Bijektion
derart, dass k ≤ n {\displaystyle {}k\leq n} genau dann gilt, wenn φ ( k ) {\displaystyle {}\varphi (k)} die Zahl φ ( n ) {\displaystyle {}\varphi (n)} teilt.