A Theorem that I Used to Know

(2012, to the tune of Somebody that I Used To Know)

(Fermat)
Now and then I think of Diophantine equations
Like how Pythagoras showed the case for n=2
Told myself that I understood,
And didn't write down what I thought I would
Remember when I looked back at my marginalia.

You can get addicted to a certain type of hubris
Assuming you don't need to use elliptic curves
So when I found my proof did not make sense,
I knew it wasn't my incompetence
But I'll admit I was confused to say the least.

But you didn't have to be so hard,
Make out like my intuitive method was for nothing
I don't even need to know
But they treat you like Wiles solved you and that feels so rough.

No you didn't have to stoop so low
Elliptic curves and modular forms lack in imagination
I guess I don't need you though,
Now you're just some theorem that I used to know.

Now you're just some theorem that I used to know.
Now you're just some theorem that I used to know.

(theorem)
Now and then I think of when you said you'd solved me.
Part of me believing I had some marvelous proof.
But I don't really work that way.
Adhering to everything you say.

You said that you could let it go,
And you shouldn't get too hung up on a theorem that you used to know!

(Fermat)
But you didn't have to be so hard,
Make out like my intuitive method was for nothing
I don't even need to know
But they treat you like Wiles solved you and that feels so rough.

No you didn't have to stoop so low
Elliptic curves and modular forms lack in imagination
I guess I don't need you though,
Now you're just some theorem that I used to know.

Now you're just some theorem that I used to know.
Now you're just some theorem that I used to know.

Some Theorem!
(I used to know)
Some Theorem!
(Now you're just some theorem that I used to know)

(I used to know)
(That I used to know)
(I used to know)
Some Theorem!