[#] (ZariskiTS A) = Spectrum A by Def7;
hence not ZariskiTS A is empty ; :: thesis: verum