text: Поскольку из результата Смита вытекает, что L 1 ⫋ L 2 {\displaystyle L_{1}\subsetneqq L_{2}} , Бойд позже высказал гипотезу, что L 1 ⫋ L 2 ⫋ L 3 ⫋ ⋯ . {\displaystyle L_{1}\subsetneqq L_{2}\subsetneqq L_{3}\subsetneqq \ \cdots \,.} Норма Бомбиери Высота многочлена Хотя это не является истинной нормой для значений τ < 1 {\displaystyle \tau <1} .