Se cumple que los componentes conexos de formula_8 forman una partición de formula_8.