Once upon a
midnight dreary,
As I pondered weak and weary,
O'er many a quaint and etale sort of
cohomology,
While
inducing representations,
I was led to
deformations,
And the ramifications of
modular forms in characteristic p.
So I struggled to break free.
Ah, discreetly I
conjectured,
to myself alone I lectured,
As the
virile bust of
Fermat
wrought its ghost upon my floor,
Suddenly there came an insight,
that these
flat group schemes were
finite
And I represented functors never dreamed about before.
Then my soul began to soar.
"
Taniyama!" I then shouted,
As the
logic from me spouted,
"It all comes down to looking at the
prime l equals 3!"
Modularity is the conclusion,
And the
Frey curve an illusion,
So Fermat's equation cannot have
nontrivial roots in Z!
Quoth the raven, "
Q.E.D".
--Matt Baker