We define an on vertices to be a graph that has the maximum number of edges on vertices, and that contains neither -cycles nor -cycles.
We establish that every vertex of degree at least , in an extremal graph of at least vertices, is in a -cycle; we enumerate all of the extremal graphs on or fewer vertices; and we determine the size of extremal graphs of orders , , and .