theorem Combined: :: ROBBINS5:12

for L being non empty LattStr holds
( L is distributive Lattice iff ( L is join-absorbing & L is satisfying_Sholander_1 ) )