Every finite simple group falls into one of five categories:

This

theorem is also known as the `

enormous theorem'; its

proof is spread throughout the

mathematics literature and is estimated to be over 15,000

pages in length. The proof was finally completed in the early- to mid-

1980s.