Cette vidéo met en scène un cours de démonstration en ce qui concerne la proposition 3 sur les ensembles et dénombrements. Le prof invite les élèves de BCPST 1 à démontrer que quels que soient les éléments A, B et C de P€, on a A inter B (B ∪ C) est équivaut à (A inter B) ∪ (A inter C) et égal à (A ∪ B) inter (A ∪ C).