take L = the trivial Lattice; :: thesis: ( L is meet-associative & L is distributive & L is left-Distributive & L is join-absorbing & L is Meet-Absorbing & L is meet-absorbing )
thus ( L is meet-associative & L is distributive & L is left-Distributive & L is join-absorbing & L is Meet-Absorbing & L is meet-absorbing ) ; :: thesis: verum