theorem Th25: :: ROBBINS4:25

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