The Genesis of a Theorem

In this article we trace the genesis of a theorem that gives for the first time examples of Galois group GS of the maximal p-extension of Q, unramified outside a finite set of primes not containing p, that are of cohomological dimension $2$. The pro-p-group GS is a fab pro-p-group which means that all its derived factors are finite.