let X be non empty TopSpace; :: thesis: id X is continuous
A1: [#] X <> {} ;
for V being Subset of X st V is open holds
(id X) " V is open by FUNCT_2:171;
hence id X is continuous by A1, TOPS_2:55; :: thesis: verum