Ovo ide preko Ojlerove grupe (odnosno, bar je na Algebri I tako zamišljeno), u svakom slučaju, Anđelićka je to radila na vežbama:
Neka je

.
Dokažimo

. Pretpostavimo da je:
Tada je:
Iz

i

i

sledi

, što je kontradikcija, pa je

.
Dokaz za

je analogan ovome.
Kako je

za svako

(što se opet posebno dokazuje, veoma lako), to znači da se svaki broj veći od 6 može predstaviti kao zbir dva uzajamno prosta broja, i to

i

.