Lim N <> {} by Def19;
then consider p being Point of T such that
A1: p in Lim N by SUBSET_1:10;
take p ; :: thesis: p in Lim N
thus p in Lim N by A1; :: thesis: verum