theorem :: WAYBEL11:10

for T being complete Scott TopLattice holds T is T_0-TopSpace