)Using

the formula

can be seen as a consequence of the fact that the th roots of unity sum to 0, since each th root of unity is a primitive th root of unity for exactly one divisor of .However it is also possible to prove this identity from first principles.