Formule du crible/Démonstration de la formule du crible

Remarque

L'énoncé du théorème reste valide pour n = 0, puisqu'une union indexée par ∅ est vide et qu'une somme indexée par ∅ est nulle.