theorem Th3: :: BORSUK_4:6

for n being Element of NAT
for A being Subset of (TOP-REAL n)
for p, q being Point of (TOP-REAL n) st A is_an_arc_of p,q holds
not A \ {p} is empty