take {} T ; :: thesis: {} T is open
thus {} T in the topology of T by Th1; :: according to PRE_TOPC:def 2 :: thesis: verum