Cette vidéo met en relief le théorème 5. Soient A un sous-ensemble d’un ensemble fini E de cardinal n et à son complémentaire dans E ; alors on a Card (Ã) = n- Card (A). À titre de rappel, dans n’importe quel ensemble E, lorsque l’on a à et A et que l’on les unit, l’on obtient E.