take B = the topology of T; :: thesis: ( B is open & not B is empty )
thus ( B is open & not B is empty ) by CANTOR_1:3; :: thesis: verum