7. Let the set of n points V={A0,A1,A2,⋯,An−1} be the universal set, and let the set of all neighbors of Ai (points connected to Ai by a line segment) be denoted as Bi. The number of points in Bi is denoted as ∣Bi∣=bi.
Clearly, ∑i=0n−1bi=2l and bi⩽n−1(i=0,1,2,⋯,n−1).
If there exists bi=n−1(i=0,1,2,⋯,n−1), then we only need to take
ι=(n−1)+[2n−1]+1⩽21(q+1)(n−1)+1=21q(q+1)2+1.
Then the graph must contain a quadrilateral.
Therefore, we only need to discuss bi0.
From (2), (3), and (n−b0)(q+1),(n−b0−1)q being positive integers, we get
(nq−q+2−b0)(nq−q−n+3−b0)>q(q+1)(n−b0)(n−b0−1).
This contradicts equation (1), hence the original proposition holds.