On the maximum number of diagonals of a circuit in a graph

For a graph G, let ?(G) denote the maximum number k such that G contains a circuit with k diagonals.Theorem. For any graph G with minimum valency$\text{n? 3, ?(G) ?}\text{1}\text{2}\text{(n+1)(n-2)}$.If the equality holds and G is connected, then either G is isomorphic to K_n+1 or G is separable and each of its terminal blocks is isomorphic to K_n+1, or K_n+1 with one edge subdivided.