A theorem by Friedman shows that, for every formula_1 and formula_18 and for sufficiently large formula_7, a random formula_1-regular graph formula_5 on formula_7 vertices satisfies formula_23 as follows.