El conjunto formula_172 es un subconjunto denso de formula_139.