let X be non empty TopSpace; :: thesis: for A being empty Subset of X holds A is T_0
let A be empty Subset of X; :: thesis: A is T_0
A is discrete by TEX_2:29;
hence A is T_0 by Th11; :: thesis: verum