theorem
:: JORDAN6:44
for
n
being
Nat
for
P1
,
P
being
Subset
of
(
TOPREAL
n
)
for
Q
being
Subset
of
(
(
TOPREAL
n
)

P
)
for
p1
,
p2
being
Point
of
(
TOPREAL
n
)
st
P1
is_an_arc_of
p1
,
p2
&
P1
c=
P
&
Q
=
P1
\
{
p1
,
p2
}
holds
Q
is
connected