An included-minor result for 3-connected graphs with contractible edges

This paper establishes that a 3-connected graph G that has a triangle in which every single-edge contraction is 3-connected has a minor that uses the triangle and is isomorphic to K5 or the octahedron.