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