Groupe d’études et de recherche en analyse des décisions

# The Construction of Normal Benzenoid Systems: Proof of Cyvin and Gutman's Conjecture

## Pierre Hansen et Maolin Zheng

A proof is given that any normal benzenoid system with h &gt 1 hexagons has two hexagons the removal of each of which results in a normal benzenoid system with h - 1 hexagons. This implies the truth of a conjecture due to Cyvin and Gutman and the correctness of a procedure for constructing all normal benzenoid systems they propose.

, 20 pages