A graph with less than 10 vertices contains a short circuit? Lately I read an old paper by Paul Erdős and L. Pósa ("On the maximal number of disjoint circuits of a graph") and stumbled across the following step in a proof (I changed it a bit to be easier to read):
It is well known and easy to show that every (undirected) graph with $n < 10$ vertices, where all vertices have a degree $\geq 3$ contains a circuit of at most $4$ edges.
I would be very happy if someone could enlighten me how this is simple and why he can conclude that, maybe there are some famous formulas for graphs that make this trivial? For the ones interested, he also mentions that a counterexample for $n=10$ is the petersen graph.

If you start from vertex 1, it must connect to at least three other vertices, which we can call 2,3,4.  Then each one must connect to two more vertices which are none of the ones already named (or we would have a 3-circuit), so 2 goes to 5,6; 3 to 7,8; 4 to 9 and where?  Anywhere it goes makes a 4-circuit.
