By existence of primitive roots for odd primes, we get that . Also for . Additionally we have for all .
Sa pamamagitan ng pagkakaroon ng kauna-unahan pinagmulan para kakaiba primes, Kumuha namin na . Din para sa . Dagdag pa kami para sa lahat ng .