theorem Th59: :: ROBBINS2:59

for L being non empty join-commutative join-associative ComplLLattStr st L is Robbins holds
L is satisfying_DN_1