theorem Th40: :: LATTICE5:40

for L being lower-bounded LATTICE holds BasicDF L is onto