指数小于5的子因子，第一部分：主图里程计

在本系列论文中，我们证明除了$A_\infty$子因子外，指数在4到5之间的子因子恰好有十个。此前，该分类仅已知到指数$3+\sqrt{3}$。在第一篇论文中，我们给出了Haagerup对指数小于$3+\sqrt{3}$的子因子的初始分类的类比，表明任何指数小于5的子因子必须出现在一个大家族列表中的一个。这些家族将在本系列的后续三篇论文中分别考虑。