theorem :: WAYBEL33:27

for L being complete lim-inf TopLattice holds
( L is compact & L is T_1 )