Cette vidéo est consacrée au théorème 7. Elle montre aux étudiants de BCPST 1 que quels que soient les ensembles finis A, B et C, l’on a Card (A ∪ B ∪ C) = Card(A) + Card(B) + Card(C) – [Card (À inter B) + Card (À inter C) + Card (B inter C)] + Card (À inter B inter C).