... that the Herschel graph is the smallest possible polyhedral graph that does not have a Hamiltonian cycle?
