{} T in the topology of T by Th5;
then A1: {} T is open by Def5;
([#] T) \ ([#] T) = {} T by Th23;
hence [#] T is closed by A1, Def6; :: thesis: verum