Entonces para cualquier punto formula_1 contenido en el interior de "D" y para cualquier camino "C" cerrado simple también contenido en el interior de "D" que contenga al punto se tiene: