In section 1 we start off by recalling some fundamental results in cohomology of groups, in particular the Evens–Venkov result on finite generation of the cohomology ring (Theorem 2) and Quillen's landmark result which describes H*BG up to F-isomorphism (Theorem 5).
Source: wiktionary