theorem Th21: :: ROBBINS4:21

for a, b being Element of Benzene st a = 3 \ 1 & b = 1 holds
a "\/" b = 3