theorem Th29: :: ROBBINS4:29
Bottom Benzene = 0