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