Tits alternative is a great theorem in mathematics.

https://en.wikipedia.org/wiki/Tits_alternative