Afirmació que el producte d'una col·lecció de conjunts no buits és no buit.