section_heading: Dokaz leme
paragraph_text: Očito je <math> \frac{n}{di} = d_j </math>, odnosno kada <math> n </math> podijelimo s nekim njegovim djeliteljom rezultat je opet neki njegov djelitelj, a kako je <math> |D_1| + |D_2| + ... + |D_k| = n, </math> slijedi <math> \varphi(\frac{n}{d_1}) + \varphi(\frac{n}{d_2}) + ... + \varphi(\frac{n}{d_k}) = n, </math> što je i trebalo dokazati.