The Möbius function

Property 3.3

If , then the following equation is valid

4. The Möbius theorem
Theorem (Möbius inversion theorem)

If ∀function and

then the following equation is valid:

Proof. We have





Where , By property (2) , the second sum is non-zero only when , i.e. and hence the whole expression equals .