Dans ce théorème 6, il est demandé aux étudiants de BCPST 1 de démontrer que quels que soient les ensembles finis A et B, leur réunion A ∪ B et leur intersection A inter B sont des ensembles infinis. Le but est aussi de démontrer que Card (A ∪ B) = Card (A) + Card (B) – Card (A inter B).