theorem :: LATTICE6:1

for L being Lattice holds
( L is noetherian iff L .: is co-noetherian )