Let , with . Then exactly when , and the sum becomes
This is when and otherwise. Summing over yields
Taking the complement of the case gives the inclusion-exclusion principle
If are the distinct prime divisors of , inclusion-exclusion removes their multiples from and gives
For the stated squarefree and , Fermat's theorem gives . Since , every divides ; their product does too. Thus is a Carmichael number.

Articles by others on the same topic (0)

There are currently no matching articles.