theorem Th26: :: ROBBINS4:26

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