Theorem 4.14 (Lubotsky-Phillips-Sanak / Margoulis). Assuming that:

  • p prime

  • d=p+1

  • n arbitrarily large

Then there exists a (n,d,2d−1)-graph.