Let G be a cyclically 5-connected cubic graph, and let C be a circuit
of G of length 5. We prove that if there is a subgraph of G homeomorph
ic to the Petersen graph, then there is one which in addition contains
C. This greatly simplifies checking whether G has a subgraph homeomor
phic to the Petersen graph. (C) 1998 Academic Press.