for P, Q being Point of (ZariskiTS A) st P <> Q holds
ex V being Subset of (ZariskiTS A) st
( V is open & ( ( P in V & not Q in V ) or ( Q in V & not P in V ) ) ) by Th45;
hence ZariskiTS A is T_0 by T_0TOPSP:def 7; :: thesis: verum