Es cierto que formula_40, aunque esto no es tan evidente, es una consecuencia del Lema de Urysohn.