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