Por lo tanto, el número cardinal de formula_4 es formula_5.