theorem Th10: :: ROBBINS4:10

the carrier of Benzene c= bool 3