( the L_join of (L .:) absorbs the L_meet of (L .:) & the L_meet of (L .:) absorbs the L_join of (L .:) ) by Th26, Th27;
hence L .: is Lattice-like by Th11; :: thesis: verum