Bridges and Hamiltonian circuits in planar graphs