Cette vidéo parle du théorème 3 : tout sous-ensemble A d’un ensemble fini E est également un ensemble fini ; et card (A) ∈ card (E) avec égalité si et seulement si A est égal à E. Comme démonstration, soient E un ensemble fini et A un sous-ensemble de E.