Si formula_100, por el teorema de la cardinalidad de productos, tenemos que