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