Si es singular, no puede estar dentro del conjunto de conjuntos normales, luego no puede estar en formula_16, pero si no puede estar en formula_16 entonces no es singular, puesto que no se contiene a sí mismo.