Cada elemento de formula_118 intersecta a [0,1], y por el axioma de la elección la existencia del subconjunto de [0,1] que contiene exactamente un elemento de formula_118 está garantizada.