theorem Th22: :: ROBBINS4:22

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