theorem Th9: :: ROBBINS4:9

the carrier of Benzene = {0,1,(3 \ 1),2,(3 \ 2),3}