theorem Th13: :: BORSUK_3:13

for X, Y being non empty TopSpace
for x being Point of X holds [:(X | {x}),Y:],Y are_homeomorphic