theorem Th24: :: ROBBINS4:24

for a, b being Element of Benzene holds
( a [= b iff a c= b )