Dans ce théorème 9, le professeur invite les étudiants en BCPST 1 à démontrer que soient A et B deux ensembles finis, Card (À x B) est égal à Card (A) x Card (B). Il faut rappeler que la multiplication A x B = {(a,b), a ∈ A et b ∈ B}.