theorem Th3: :: CONNSP_2:3

for X being non empty TopSpace
for U1 being Subset of X
for x being Point of X st U1 is open & x in U1 holds
U1 is a_neighborhood of x