Lemma 4.12. There is $c = c_{d} > 0$ such that

ℙ (G_{n} is d -regular, i.e. G_{n} is simple) \geq c - o (1) .