theorem Th45: :: TOPZARI1:35

for A being non degenerated commutative Ring
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 ) ) )