<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T28"><span class="comment"><font color="firebrick">:: ROBBINS4:28</font></span><br/></a><div class="add"> <a href="lattices.html#K6" title="LATTICES:func.6">Top</a> <a href="robbins4.html#K2" title="ROBBINS4:func.2">Benzene</a> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 3</div></div>
