将社会正义的梦想变为现实并不容易,但也不是不可能的。
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.