W is a_neighborhood of {t} by CONNSP_2:8;
hence [:V,W:] is a_neighborhood of [:A,{t}:] by Th9; :: thesis: verum