LattStr(# the carrier of Benzene ,the L_join of Benzene ,the L_meet of Benzene #) = latt B_6 by BenDef;
hence Benzene is Lattice-like by ROBBINS3:15; :: thesis: verum