О реберно регулярных графах с $k\ge 3b_1-3$

Неориентированный $v$-вершинный граф, в котором степени всех вершин равны $k$, а каждое ребро принадлежит точно $\lambda$ треугольникам, называется реберно регулярным с параметрами $(v,k,\lambda)$. Доказано, что реберно регулярный граф с параметрами $(v,k,\lambda)$, в котором $k\ge 3b_1-3$, либо имеет диаметр 2 и совпадает с одним из графов $P(2)$ на 20 вершинах или $M(19)$ на 19 вершинах, или имеет не более $2k+4$ вершин, либо имеет диаметр не меньше 3 и является тривалентным графом без треугольников, реберным графом четырехвалентного графа без треугольников или локально шестиугольным графом, либо имеет диаметр 3 и $|\Gamma_3(u)|\le 1$ для любой вершины $u$.