The Langlands program is not a theory but a web of conjectures and theorems that, if fully established, would unite number theory and representation theory.
A mathematician is a person who can find analogies between theorems; a better mathematician is one who can see analogies between theories and the best mathematician can notice analogies between analogies.