text: Тогда должно быть по меньшей мере n 2 / 4 C ( 2 C − 1 ) {\displaystyle n^{2}/4C(2C-1)} прямых, соединяющих по меньшей мере две точки, так что утверждение теоремы получается, если принять K = 4 C ( 2 C − 1 ) {\displaystyle K=4C(2C-1)} .