Take the famous Wiles proof of Fermat's Last Theorem.
(a^n + b^n = c^n has no nontrivial positive integer solutions for a, b, and c when n > 2)
The statement of the theorem is trivial to understand, but proof is impossible until you convert it to something so esoteric that only a handful of people in the world can understand it.