theorem Th27: :: ROBBINS4:27

for a, x being Element of Benzene st a = 3 holds
a "\/" x = a