Girth six cubic graphs have Petersen minors

Abstract

We prove that every 3-regular graph with no circuit of length less than six has a subgraph isomorphic to a subdivision of the Petersen graph.

12 pages, 2 figures