for a being set st a in the carrier of Benzene holds
a c= {0,1,2} by Th10, CARD_1:51;