In this paper we show that the conjecture of Lemmens and Seidel of 1973 for systems of equiangular lines with common angle $\arccos (1/5)$ is true. Our main tool is forbidden subgraphs for smallest Seidel eigenvalue −5.

中文翻译：

---

Lemmens-Seidel 猜想和禁止子图

在本文中，我们证明了 1973 年 Lemmens 和 Seidel 对具有公角的等角线系统的猜想 $\mathrm{阿科斯}(1/5)$是真的。我们的主要工具是最小赛德尔特征值 -5 的禁止子图。