th d'Euler

Pour tout entier n > 0 et tout entier a premier avec m

avec φ(m) le nombre d’entiers naturels inférieurs à n qui sont premiers avec m