theorem Th51: :: WAYBEL_4:51

for L being lower-bounded continuous LATTICE holds L -waybelow is satisfying_SI