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