theorem :: ROBBINS4:20

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