Para un punto de acumulación ("a", "b") en "D", el teorema se enuncia de la siguiente manera.