"The proof ends up being remarkably elementary."

Dude then proceeds to dump about 16 A4 pages worth of heavy-duty algebra which 99.999% of the humans on the surface of this planet are completely unable to read past the first two lines.

LOL, I guess language is a "remarkably" vague tool, where "elementary" means vastly different things to different people.

That doesn't diminish the achievement of course, but ... please, easy on the "remarkably elementary" next time, that's borderline insulting.