Proving that Petersen's graph is not hamiltonian.