En un conjunto no convexo cada segmento que muestra la no convexidad tiene forzosamente que atravesar por lo menos dos veces (en E´y F´) el borde o la frontera del conjunto formula_9, formula_10, definida como